include $(srcdir)/../../Makefile.common

EXTRA_DIST = $(srcdir)/layers.aadl $(srcdir)/main.aadl		\
$(srcdir)/memories.aadl $(srcdir)/partitions.aadl		\
$(srcdir)/runtime.aadl $(srcdir)/subprograms.aadl		\
$(srcdir)/threads.aadl $(srcdir)/types.aadl $(srcdir)/lib.real

